1. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :
Author: Hans Hermes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.
2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
Author: Hermes, Hans
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions
Classification :
QA
248
.
5
.
H4
1978
3. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
Author: Hermes, Hans.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
Classification :
QA
248
.
5
.
H4
1971
4. Eine Termlogik mit Auswahloperator
Author: Hermes, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
6
5. Einfuhrung in die Verbandstheorie
Author: Hermes, Hans
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lattice theory
Classification :
QA
171
.
5
.
H47
1967
6. Einfuhrung in die Verbandstheorie
Author: Hermes, Hans.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Lattice theory
Classification :
QA
1
.
G7
v
.
73
1967
7. Einführung in die Verbandstheorie.
Author: Hans Hermes
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Einführung.,Lattice theory.,Treillis, Théorie des.
Classification :
QA171
.
5
H367
1967
8. Einführung in die mathematische Logik :
Author: von Hans Hermes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering.
Classification :
QA9
.
V664
1972
9. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
Author: Hermes, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H44
10. Einfuhrung in die Verbandstheorie
پدیدآورنده : Hermes, Hans
موضوع : ، Lattice theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Enumerability · Decidability Computability
Author: by Hans Hermes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
12. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Enumerability decidability computability : an introduction to the theory of recursive functions
Author: Hermes, Hans
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions,، Algorithms,، Godel's theorem
Classification :
QA
248
.
5
.
H413
1969
14. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Introduction to mathematical logic
Author: / Hans Hermes; translated from German by Diana Schmidt
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical
Classification :
511
.
3
H553
16. Introduction to mathematical logic
Author: Hermes, Hans
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H47I513
1973
17. Introduction to mathematical logic
Author: Hermes, Hans.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H4
18. Posthumous writings /
Author: Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics
Classification :
QA3
.
F74213
1979
19. Term logic with choice operator
Author: Hermes, Hans
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H54
1970
20. Term logic with choice operator
Author: Hermes, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
6
1970
